r? @Aatch

(rust_highfive has picked a reviewer for you, use r? to override)

I’d rather it be a note rather than a whole different error.

The problem being fixed here is that the error message ("the type of this value must be known in this context") is overly generic. "this context" is specifically callee context.

r? @pnkfelix

Closing due to inactivity, but feel free to resubmit!